3.15 \(\int \sin ^{-2-m}(c+d x) (a+a \sin (c+d x))^m (1+m-m \sin (c+d x)) \, dx\)
Optimal. Leaf size=35 \[ -\frac {\cos (c+d x) \sin ^{-m-1}(c+d x) (a \sin (c+d x)+a)^m}{d} \]
[Out]
-cos(d*x+c)*sin(d*x+c)^(-1-m)*(a+a*sin(d*x+c))^m/d
________________________________________________________________________________________
Rubi [A] time = 0.09, antiderivative size = 35, normalized size of antiderivative = 1.00,
number of steps used = 1, number of rules used = 1, integrand size = 37, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.027, Rules used =
{2974} \[ -\frac {\cos (c+d x) \sin ^{-m-1}(c+d x) (a \sin (c+d x)+a)^m}{d} \]
Antiderivative was successfully verified.
[In]
Int[Sin[c + d*x]^(-2 - m)*(a + a*Sin[c + d*x])^m*(1 + m - m*Sin[c + d*x]),x]
[Out]
-((Cos[c + d*x]*Sin[c + d*x]^(-1 - m)*(a + a*Sin[c + d*x])^m)/d)
Rule 2974
Int[((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(m_)*((A_.) + (B_.)*sin[(e_.) + (f_.)*(x_)])*((c_.) + (d_.)*sin[(e_
.) + (f_.)*(x_)])^(n_), x_Symbol] :> Simp[((B*c - A*d)*Cos[e + f*x]*(a + b*Sin[e + f*x])^m*(c + d*Sin[e + f*x]
)^(n + 1))/(f*(n + 1)*(c^2 - d^2)), x] /; FreeQ[{a, b, c, d, e, f, A, B, m, n}, x] && NeQ[b*c - a*d, 0] && EqQ
[a^2 - b^2, 0] && NeQ[c^2 - d^2, 0] && EqQ[m + n + 2, 0] && EqQ[A*(a*d*m + b*c*(n + 1)) - B*(a*c*m + b*d*(n +
1)), 0]
Rubi steps
\begin {align*} \int \sin ^{-2-m}(c+d x) (a+a \sin (c+d x))^m (1+m-m \sin (c+d x)) \, dx &=-\frac {\cos (c+d x) \sin ^{-1-m}(c+d x) (a+a \sin (c+d x))^m}{d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.39, size = 35, normalized size = 1.00 \[ -\frac {\cos (c+d x) \sin ^{-m-1}(c+d x) (a (\sin (c+d x)+1))^m}{d} \]
Antiderivative was successfully verified.
[In]
Integrate[Sin[c + d*x]^(-2 - m)*(a + a*Sin[c + d*x])^m*(1 + m - m*Sin[c + d*x]),x]
[Out]
-((Cos[c + d*x]*Sin[c + d*x]^(-1 - m)*(a*(1 + Sin[c + d*x]))^m)/d)
________________________________________________________________________________________
fricas [A] time = 0.45, size = 41, normalized size = 1.17 \[ -\frac {{\left (a \sin \left (d x + c\right ) + a\right )}^{m} \sin \left (d x + c\right )^{-m - 2} \cos \left (d x + c\right ) \sin \left (d x + c\right )}{d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin(d*x+c)^(-2-m)*(a+a*sin(d*x+c))^m*(1+m-m*sin(d*x+c)),x, algorithm="fricas")
[Out]
-(a*sin(d*x + c) + a)^m*sin(d*x + c)^(-m - 2)*cos(d*x + c)*sin(d*x + c)/d
________________________________________________________________________________________
giac [B] time = 64.01, size = 5502, normalized size = 157.20 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin(d*x+c)^(-2-m)*(a+a*sin(d*x+c))^m*(1+m-m*sin(d*x+c)),x, algorithm="giac")
[Out]
-8*(cos(2*pi*m*floor(-1/8*sgn(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)
+ 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) + 5/8) + 1/4*pi*m*sgn(4*tan(d*x +
c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c
)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) - 1/4*pi*m)*e^(m*log(sqrt(2)*sqrt(abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^
2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*
c) + 2)*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2
*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)
^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 +
2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d
*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/
2*d*x + 1/2*c) + 2))*abs(a)/(tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + tan(d*x + c)^2 + tan(1/2*d*x + 1/2*c)^2 +
1)) - m*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x + 1/2*c)^2 + 1)) - 2*log(4*abs(tan(1/2*d*x + 1/2*c))/(ta
n(1/2*d*x + 1/2*c)^2 + 1)))*tan(-1/2*pi + 1/4*pi*m*sgn(2*a*tan(1/2*d*x + 1/2*c)^4 + 4*a*tan(1/2*d*x + 1/2*c)^3
- 4*a*tan(1/2*d*x + 1/2*c) - 2*a)*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d
*x + 1/2*c)) - 1/4*pi*m*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) + 1/4*pi*m*sgn(4*a*tan(1/2*d
*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/2*pi*sgn(tan(1/2*d*x + 1/2*c)^2 - 1
)*sgn(tan(1/2*d*x + 1/2*c)) - 1/4*pi*m + pi*floor(d*x/pi + c/pi + 1/2))^2*tan(1/2*d*x + 1/2*c)^3 - 2*e^(m*log(
sqrt(2)*sqrt(abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x +
c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + abs(4*t
an(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*
x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*ta
n(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*
tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) +
4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2))*abs(a)/(tan(d*x + c)^2*tan(1/2*d*x
+ 1/2*c)^2 + tan(d*x + c)^2 + tan(1/2*d*x + 1/2*c)^2 + 1)) - m*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x +
1/2*c)^2 + 1)) - 2*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x + 1/2*c)^2 + 1)))*sin(2*pi*m*floor(-1/8*sgn(4
*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*
d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) + 5/8) + 1/4*pi*m*sgn(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8
*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) +
2) - 1/4*pi*m)*tan(-1/2*pi + 1/4*pi*m*sgn(2*a*tan(1/2*d*x + 1/2*c)^4 + 4*a*tan(1/2*d*x + 1/2*c)^3 - 4*a*tan(1/
2*d*x + 1/2*c) - 2*a)*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c))
- 1/4*pi*m*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) + 1/4*pi*m*sgn(4*a*tan(1/2*d*x + 1/2*c)^3
+ 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/2*pi*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2
*d*x + 1/2*c)) - 1/4*pi*m + pi*floor(d*x/pi + c/pi + 1/2))*tan(1/2*d*x + 1/2*c)^3 - cos(2*pi*m*floor(-1/8*sgn(
4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2
*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) + 5/8) + 1/4*pi*m*sgn(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 +
8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) +
2) - 1/4*pi*m)*e^(m*log(sqrt(2)*sqrt(abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d
*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2*tan(1/2
*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(
d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2 + abs(4*tan(d*x + c)^2*tan(
1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*t
an(1/2*d*x + 1/2*c) + 2)*tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)
^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2))*abs(a)/(t
an(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + tan(d*x + c)^2 + tan(1/2*d*x + 1/2*c)^2 + 1)) - m*log(4*abs(tan(1/2*d*x
+ 1/2*c))/(tan(1/2*d*x + 1/2*c)^2 + 1)) - 2*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x + 1/2*c)^2 + 1)))*ta
n(-1/2*pi + 1/4*pi*m*sgn(2*a*tan(1/2*d*x + 1/2*c)^4 + 4*a*tan(1/2*d*x + 1/2*c)^3 - 4*a*tan(1/2*d*x + 1/2*c) -
2*a)*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/4*pi*m*sgn(ta
n(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) + 1/4*pi*m*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*
x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/2*pi*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) -
1/4*pi*m + pi*floor(d*x/pi + c/pi + 1/2))^2*tan(1/2*d*x + 1/2*c) - cos(2*pi*m*floor(-1/8*sgn(4*tan(d*x + c)^2*
tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 +
8*tan(1/2*d*x + 1/2*c) + 2) + 5/8) + 1/4*pi*m*sgn(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*
tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) - 1/4*pi*m)*e
^(m*log(sqrt(2)*sqrt(abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*t
an(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 +
abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*ta
n(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^
2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*
c) + 2)*tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x +
1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2))*abs(a)/(tan(d*x + c)^2*tan
(1/2*d*x + 1/2*c)^2 + tan(d*x + c)^2 + tan(1/2*d*x + 1/2*c)^2 + 1)) - m*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1
/2*d*x + 1/2*c)^2 + 1)) - 2*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x + 1/2*c)^2 + 1)))*tan(1/2*d*x + 1/2*c
)^3 + 2*e^(m*log(sqrt(2)*sqrt(abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2
*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2*tan(1/2*d*x + 1
/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)
^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x
+ 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d
*x + 1/2*c) + 2)*tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1
/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2))*abs(a)/(tan(d*x +
c)^2*tan(1/2*d*x + 1/2*c)^2 + tan(d*x + c)^2 + tan(1/2*d*x + 1/2*c)^2 + 1)) - m*log(4*abs(tan(1/2*d*x + 1/2*c
))/(tan(1/2*d*x + 1/2*c)^2 + 1)) - 2*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x + 1/2*c)^2 + 1)))*sin(2*pi*m
*floor(-1/8*sgn(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x +
c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) + 5/8) + 1/4*pi*m*sgn(4*tan(d*x + c)^2*tan(1/2*d
*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/
2*d*x + 1/2*c) + 2) - 1/4*pi*m)*tan(-1/2*pi + 1/4*pi*m*sgn(2*a*tan(1/2*d*x + 1/2*c)^4 + 4*a*tan(1/2*d*x + 1/2*
c)^3 - 4*a*tan(1/2*d*x + 1/2*c) - 2*a)*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1
/2*d*x + 1/2*c)) - 1/4*pi*m*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) + 1/4*pi*m*sgn(4*a*tan(1
/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/2*pi*sgn(tan(1/2*d*x + 1/2*c)^2
- 1)*sgn(tan(1/2*d*x + 1/2*c)) - 1/4*pi*m + pi*floor(d*x/pi + c/pi + 1/2))*tan(1/2*d*x + 1/2*c) + cos(2*pi*m*
floor(-1/8*sgn(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c
)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) + 5/8) + 1/4*pi*m*sgn(4*tan(d*x + c)^2*tan(1/2*d*
x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2
*d*x + 1/2*c) + 2) - 1/4*pi*m)*e^(m*log(sqrt(2)*sqrt(abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x +
c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x
+ c)^2*tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x +
1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2 + abs(4*tan(
d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x +
1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 +
8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c)
+ 2))*abs(a)/(tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + tan(d*x + c)^2 + tan(1/2*d*x + 1/2*c)^2 + 1)) - m*log(4*
abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x + 1/2*c)^2 + 1)) - 2*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x + 1/2
*c)^2 + 1)))*tan(1/2*d*x + 1/2*c))/(d*tan(-1/2*pi + 1/4*pi*m*sgn(2*a*tan(1/2*d*x + 1/2*c)^4 + 4*a*tan(1/2*d*x
+ 1/2*c)^3 - 4*a*tan(1/2*d*x + 1/2*c) - 2*a)*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a
*tan(1/2*d*x + 1/2*c)) - 1/4*pi*m*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) + 1/4*pi*m*sgn(4*a
*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/2*pi*sgn(tan(1/2*d*x + 1/
2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) - 1/4*pi*m + pi*floor(d*x/pi + c/pi + 1/2))^2*tan(1/2*d*x + 1/2*c)^4 + 2
*d*tan(-1/2*pi + 1/4*pi*m*sgn(2*a*tan(1/2*d*x + 1/2*c)^4 + 4*a*tan(1/2*d*x + 1/2*c)^3 - 4*a*tan(1/2*d*x + 1/2*
c) - 2*a)*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/4*pi*m*s
gn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) + 1/4*pi*m*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1
/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/2*pi*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c
)) - 1/4*pi*m + pi*floor(d*x/pi + c/pi + 1/2))^2*tan(1/2*d*x + 1/2*c)^2 + d*tan(1/2*d*x + 1/2*c)^4 + d*tan(-1/
2*pi + 1/4*pi*m*sgn(2*a*tan(1/2*d*x + 1/2*c)^4 + 4*a*tan(1/2*d*x + 1/2*c)^3 - 4*a*tan(1/2*d*x + 1/2*c) - 2*a)*
sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/4*pi*m*sgn(tan(1/2
*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) + 1/4*pi*m*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1
/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/2*pi*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) - 1/4*p
i*m + pi*floor(d*x/pi + c/pi + 1/2))^2 + 2*d*tan(1/2*d*x + 1/2*c)^2 + d)
________________________________________________________________________________________
maple [F] time = 1.66, size = 0, normalized size = 0.00 \[ \int \left (\sin ^{-2-m}\left (d x +c \right )\right ) \left (a +a \sin \left (d x +c \right )\right )^{m} \left (1+m -m \sin \left (d x +c \right )\right )\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(sin(d*x+c)^(-2-m)*(a+a*sin(d*x+c))^m*(1+m-m*sin(d*x+c)),x)
[Out]
int(sin(d*x+c)^(-2-m)*(a+a*sin(d*x+c))^m*(1+m-m*sin(d*x+c)),x)
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ -\int {\left (m \sin \left (d x + c\right ) - m - 1\right )} {\left (a \sin \left (d x + c\right ) + a\right )}^{m} \sin \left (d x + c\right )^{-m - 2}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin(d*x+c)^(-2-m)*(a+a*sin(d*x+c))^m*(1+m-m*sin(d*x+c)),x, algorithm="maxima")
[Out]
-integrate((m*sin(d*x + c) - m - 1)*(a*sin(d*x + c) + a)^m*sin(d*x + c)^(-m - 2), x)
________________________________________________________________________________________
mupad [B] time = 12.85, size = 38, normalized size = 1.09 \[ -\frac {\sin \left (2\,c+2\,d\,x\right )\,{\left (a\,\left (\sin \left (c+d\,x\right )+1\right )\right )}^m}{2\,d\,{\sin \left (c+d\,x\right )}^{m+2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(((a + a*sin(c + d*x))^m*(m - m*sin(c + d*x) + 1))/sin(c + d*x)^(m + 2),x)
[Out]
-(sin(2*c + 2*d*x)*(a*(sin(c + d*x) + 1))^m)/(2*d*sin(c + d*x)^(m + 2))
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin(d*x+c)**(-2-m)*(a+a*sin(d*x+c))**m*(1+m-m*sin(d*x+c)),x)
[Out]
Timed out
________________________________________________________________________________________